[[Completeness and cocompleteness]]
# Finite (co)completeness criterion

A category $\cat C$ is [[Completeness and cocompleteness|finitely (co)complete]] iff it has all finite [[Products and coproducts|(co)products]] and [[Equalizer and coëqualizer|(co)equalizers]].[^2010] #m/thm/cat 

  [^2010]: 2010\. [[Sources/@awodeyCategoryTheory2010|Category theory]], ¶5.21, p. 104

> [!missing]- Proof
> #missing/proof


#
---
#state/develop | #lang/en | #SemBr